Pictures on paper

Demonstratives on Pictures

Kaplan’s theory of demonstratives and deicticals Kaplan (1989a,b) can be briefly stated as follows. Expressions of this kind depend for their interpretation on the context of utterance and in a context of utterance they refer directly to whatever they refer to. Direct reference in turn consists in two properties. The first property is the absence of a Fregean sense. The context does its work on...

Snooping on Space Pictures

On spectral pictures

The “spectral picture” of a bounded operator on a Banach space consists of its essential spectrum together with a mapping from its holes to the group of integers, obtained by taking the Fredholm index. In this note we abstract this from the Calkin algebra to a general Banach algebra, replacing the integers with the quotient of the group of invertibles by its connected component of the identity.

Constraining Pictures with Pictures

This paper presents a visual language called Miro for specifying and restricting operating system security configurations. A Miro picture specifies exactly what rights users have on files. A Miro constraint, also stated visually, restricts the set of Miro pictures which are considered legal. Such constraints on pictures give an exact specification of security policies and a practical method for...

Tla in Pictures Tla in Pictures

The charter of SRC is to advance both the state of knowledge and the state of the art in computer systems. From our establishment in 1984, we h a v e performed basic and applied research to support Digital's business objectives. Our current w ork includes exploring distributed personal computing on multiple platforms, networking, programming technology, system modelling and management technique...